Capecchi, Sara: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Amalgamating sessions and methods in object-oriented languages with generics

Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 3.16 MB

english, 2009

2

On flexible dynamic trait replacement for Java-like languages

Bettini, Lorenzo, Capecchi, Sara, Damiani, Ferruccio

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 393 KB

english, 2013

3

[IEEE 2014 IEEE 11th International Conference on e-Business Engineering (ICEBE) - Guangzhou, China (2014.11.5-2014.11.7)] 2014 IEEE 11th International Conference on e-Business Engineering - Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling

Capecchi, Sara, Pisano, Paola

Year:

2014

Language:

english

File:

PDF, 370 KB

english, 2014

4

Featherweight Java with dynamic and static overloading

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.30 MB

english, 2009

5

Extending Java to dynamic object behaviors

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

6

Double dispatch in C++

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Software: Practice and Experience

Year:

2006

Language:

english

File:

PDF, 312 KB

english, 2006

7

Translating Double Dispatch into Single Dispatch

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 307 KB

english, 2005

8

Typing access control and secure information flow in sessions

Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 888 KB

english, 2014

9

Deriving session and union types for objects

BETTINI, LORENZO, CAPECCHI, SARA, DEZANI-CIANCAGLINI, MARIANGIOLA, GIACHINO, ELENA, VENNERI, BETTI

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 575 KB

english, 2013

10

[ACM Press the 5th international symposium - Lisboa, Portugal (2007.09.05-2007.09.07)] Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07 - Featherweight Java with multi-methods

Bettini, Lorenzo, Capecchi, Sara, Venneri, Betti

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

11

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Featherweight wrap Java

Bettini, Lorenzo, Capecchi, Sara, Giachino, Elena

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

12

The burden of disease of Herpes Zoster in Tuscany

Levi, Miriam, Bellini, Irene, Capecchi, Leonardo, Pieri, Luca, Bechini, Angela, Boccalini, Sara, Callaioli, Silvia, Gasparini, Roberto, Panatto, Donatella, Tiscione, Emilia, Bonanni, Paolo

Journal:

Human Vaccines & Immunotherapeutics

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

13

[IEEE 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE) - Beijing, China (2015.10.23-2015.10.25)] 2015 IEEE 12th International Conference on e-Business Engineering - Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling

Capecchi, Sara, Giraudo, Mauro, Negro, Claudia, Pisano, Paola

Year:

2015

Language:

english

File:

PDF, 313 KB

english, 2015

14

Global escape in multiparty sessions

CAPECCHI, SARA, GIACHINO, ELENA, YOSHIDA, NOBUKO

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 1.28 MB

english, 2016

15

Dynamic overloading with copy semantics in object-oriented languages: a formal account

Bettini, Lorenzo, Capecchi, Sara, Venneri, Betti

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2009

Language:

english

File:

PDF, 502 KB

english, 2009

16

Information flow safety in multiparty sessions

CAPECCHI, SARA, CASTELLANI, ILARIA, DEZANI-CIANCAGLINI, MARIANGIOLA

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

17

[ACM Press the 8th International Workshop - Seattle, WA, USA (2016.11.14-2016.11.14)] Proceedings of the 8th International Workshop on Social Software Engineering - SSE 2016 - VDML4RS: a tool for reputation systems modeling and design

Bettini, Lorenzo, Capecchi, Sara

Year:

2016

Language:

english

File:

PDF, 642 KB

english, 2016

18

Health literacy and vaccination: A systematic review

Lorini, Chiara, Santomauro, Francesca, Donzellini, Martina, Capecchi, Leonardo, Bechini, Angela, Boccalini, Sara, Bonanni, Paolo, Bonaccorsi, Guglielmo

Journal:

Human Vaccines & Immunotherapeutics

Year:

2017

Language:

english

File:

PDF, 873 KB

english, 2017

19

[ACM Press the 16th edition of the International Conference - London, United Kingdom (2017.06.12-2017.06.16)] Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17 - Compliance patterns

Muthuri, Robert, Boella, Guido, Hulstijn, Joris, Capecchi, Sara, Humphreys, Llio

Year:

2017

Language:

english

File:

PDF, 996 KB

english, 2017

20

A Social Network Simulation Game to Raise Awareness of Privacy among School Children

Bioglio, Livio, Capecchi, Sara, Peiretti, Federico, Sayed, Dennis, Torasso, Antonella, Pensa, Ruggero Gaetano

Journal:

IEEE Transactions on Learning Technologies

Year:

2018

Language:

english

File:

PDF, 4.85 MB

english, 2018

21

Monocyte-activation test to reliably measure the pyrogenic content of a vaccine: An in vitro pyrogen test to overcome in vivo limitations

Valentini, Sara, Santoro, Giovanna, Baffetta, Federica, Franceschi, Sara, Paludi, Marilena, Brandini, Elisa, Gherardini, Leonardo, Serruto, Davide, Capecchi, Barbara

Journal:

Year:

2018

Language:

english

File:

PDF, 797 KB

english, 2018

22

Concomitant therapy with direct-acting antivirals and chemoimmunotherapy in HCV-associated diffuse large B-cell lymphoma

Occhipinti, Vincenzo, Farina, Lucia, Viganò, Mauro, Capecchi, Marco, Labanca, Sara, Fanetti, Ilaria, Corradini, Paolo, Rumi, Mariagrazia

Journal:

Digestive and Liver Disease

Year:

2018

Language:

english

File:

PDF, 2.53 MB

english, 2018

23

Winescape perception and big data analysis: An assessment through social media photographs in the Chianti Classico region

Sottini, Veronica Alampi, Barbierato, Elena, Bernetti, Iacopo, Capecchi, Irene, Fabbrizzi, Sara, Menghini, Silvio

Journal:

Wine Economics and Policy

Year:

2019

Language:

english

File:

PDF, 3.33 MB

english, 2019

24

Service-Aware Interactive Presentation of Items for Decision-Making

Mauro, Noemi, Ardissono, Liliana, Capecchi, Sara, Galioto, Rosario

Journal:

Applied Sciences

Year:

2020

File:

PDF, 2.01 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски